Update patches
authorStephane Glondu <steph@glondu.net>
Sat, 29 Nov 2008 10:42:08 +0000 (11:42 +0100)
committerStephane Glondu <steph@glondu.net>
Sat, 29 Nov 2008 11:40:50 +0000 (12:40 +0100)
commit8d8ead976dbe408a73fe5172b75ac6cbb33bbd7c
tree535e936007ae07c234b68dade3a7d85dbf0c8360
parent3458abbff259b97435a5515c5bc20ecc3db4343a
Update patches
13 files changed:
debian/patches/00list
debian/patches/alpha_ld_no-relax.dpatch
debian/patches/call_ld_with_proper_flags.dpatch
debian/patches/dumpobj.dpatch
debian/patches/for_pack_static.dpatch [deleted file]
debian/patches/install_ocamlbuild.dpatch
debian/patches/install_scripts_config.dpatch
debian/patches/man-ocamlmklib.dpatch
debian/patches/manpages.dpatch [deleted file]
debian/patches/no_rpath.dpatch
debian/patches/objinfo.dpatch
debian/patches/ocamldoc.dpatch [deleted file]
debian/patches/stdlib_man_section.dpatch